#include <bits/stdc++.h>
using namespace std;
#define PI 3.1415926
#define   SQUARE(x) ((x)*(x))
//double SQUARE(double x) { return x*x;}

int j, y, t;
int main()
{
	int m,n;
	scanf("%d%d",  &m, &n);
	for(int i=m; i<=n; i++){
		if(i % 17 == 0) j += i;
	}
	printf("%d", j);
  return 0;
}
